Tragic occurrence. In FL, it's perhaps best to assume (unless otherwise is clearly the case) that fresh water areas are highly likely to host gators; brackish water may conceal both gators and salt water crocs. It's borderline Jurassic Park.