Avon Park is a city in Highlands County, Florida, United States. As of the 2020 census, the population was 9,658, up from 8,836 at the 2010 census but down from the 2018 estimated population of 10,695. From Wikipedia
Investigators used side-scan radar and an underwater drone to recover one of the bodies.
