So sad
I suppose I take certain things for granted, being a born and raised Floridian. I learned at a very young age that a gator could steal a pet or a person, so we never went swimming in the lake. But I'm sure a family from Nebraska would have no idea of the danger. A friend of mine from Canada, who has been to WDW exactly one time in his life, told me he would consider a "do not swim" sign to be a warning about, like, algae or something like that. Gator would never enter his mind. And again, I can't fathom this at all, but I recognize that I have lived here my whole life and it's just one of those things I grew up knowing about.
I spent a summer as a Jungle Cruise Skipper long ago, 2000-ish. During one shift, instead of going on parade duty, I was told to stand and guard a railing on the Liberty Square side that overlooked Tom Sawyer Island. There was a gator in the water near Tom Sawyer Island eating a bird. So, my job that afternoon was to keep guests from seeing the gator. I remember being surprised way back when that a gator could get in, but it was explained to me that Bay Lake connected to a lot of different waterways and there were frequently gators around.