Gator Mike’s Family Fun Park, a 10-acre adventure park in Cape Coral, Fla., was badly…