If there were a crocodile regularly hanging around my property, and it were legal to do so, I'd shoot it in a heartbeat. Crocodiles and Sharks are nasty creatures. As far as the shark goes, they had no choice: if they didn't shoot it it would have kept ramming their boat. Plus, lots of people got some good shark meat out of the deal.

Crocs are BAAAAAAAAAAAD