How in the world did they find the exact crocodile? There must be more than one in those waters?
Personally I think they aught to open hunting season on all alligators and crocodiles. Florida is loaded with them. What use are they but to do damage to things anyway. Chomping up kids and cats and dogs.
Never smile at a crocodile.
Alligators and crocodiles are like Democrats.
At one tine the Old Timers had them under control in Florida. Then the Do Gooders took control.
Very few crocks get that big.
Often, they are the only big one in a limited stretch of waters.