crocodiles/alligators will kill 20 people a year in america alone, whilst a great white shark MIGHT kill 1 person a year in the entire world.

I still dont think they should kill the crocs, why not try and re-locate them?