I've been to Florida several times, particularly around the space coast/Orlando....all bodies of water are infested with gators. You couldn't get me to take a swim anywhere in Florida...cept a chlorinated poll. lol
Every canal, pond, stream and ditch in Flat has Gators. I grew up there. When I lived in S Fla I never jumped in a pool unless I checked it out first.