The frog model on non-amenable trees - Marcus Michelen; Josh Rosenberg (2019)