Part of Henderson Beach State Park, Destin, Florida, USA.