'Feels like a hot tub': 38°C in the ocean off Florida. Was it a world record?