Yep, and they're probably going to find a lot more than they had estimated they would. I thought I head them say this morning that the lagoon was supposedly alligator-free, and I thought "how in hell do they know that?" - even if it's completely enclosed, what's to stop them from just walking up to it and making it their new hunting grounds?
About three miles from where I'm sitting, in a little town called Del Valle just past the Austin airport, there's a development where the retaining pond is actually home to an alligator. Many people here - even native Texans - are unaware that although very rare, alligators do live in the area rivers and lakes. It wouldn't surprise me one bit if this tragedy in Orlando spurs these people to finally catch and dispatch the alligator in their retaining pond.
And by the way - I'm sure you know enough about the feeding habits of alligators to know that they probably won't be finding that poor little boy for a while. It's too gruesome to get into the details, but I suspect you're aware of that.