It's just a case of people not knowing the hazards. They were at Disney World. Last thing on their mind was a gator coming out of nowhere and snatching their baby. Being from Nebraska, they probably know nothing about gators.
You pretty much have to kill a gator after it has human flesh. It will forever more consider humans a part of the food chain. That gator probably had been fed at some point by some tourists. Please never feed a gator! And killing several gators looking for the kid is no big deal down there. They really are like cockroaches. They will reproduce rapidly and need to be thinned out from time to time. I hate to see something killed and wasted but something tells me no one will want to eat one of these gators under the circumstances.
Disney used to have a water park at a campground on that lake. I've been swimming in it. I never thought about gators being there but I'm sure they were there. They want bother you when swimming with a bunch of people during the day. But at night, small children and especially dogs are on the menu because gators tend to be nocturnal and feed at night.
Tears me up to think about what these parents are going through right now. This is truly an unthinkable nightmare.