Wow. Never knew that.
I remember some years ago, think it was on The Discovery channel either a separate meteorite hit that area after the massive meteorite that hit the present day Yucatan Peninsula or a chunk of that meteorite hit what is now the present Everglades are. I’m not an expert but it would seem to me to explain why there are often so many issues with sinkholes in the Everglades.