That may be true to certain uninhabitable parts of florida waaay away from humans but not anywhere around here. We consider it quite an event if we see a 10ft gator on the wekiva river anymore. A guy caught a 15.5ft gator over here in my town a while ago. It was probably one of the last few bigguns around these parts.
This is my best friend's dad just off a highway near Jacksonville, FL. He's about 6ft tall so you can get an idea how big this gator was. A few feet of his tail isn't even in the pic. A few day's later, the game wardens destroyed him.