Record summer heat endangering coral reefs near Miami