So... what do you do when a crocodile and a shark end up in your mine pit? AT THE SAME TIME.