Animals that mine

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