Heraldo de Madrid - Florida ocean temperature topped 100F, setting potential record