The commission released the documents after a public-records request from the Orlando Sentinel. The agency listed 15 alligators caught on Disney property from the beginning of 2016 through May. It didn't include the six trapped since the June 14 attack and it didn't specify where the gators were captured.

Last year, 16 gators were captured on Disney property. Statewide, 6,706 alligators were harvested in 2014, the most recent year reflected in the agency's statistics.