The article said — Florida has more than a million alligators, but crocodiles are establishing an increasingly ominous presence in brackish coastal areas, where habitat restoration and protection have allowed for a population boom.
—
Time to declare humans an endangered species, in that area...
I do think I would be more concerned about crocs than gators. I believe they are more aggressive.