The temperature of the Florida coral-reef tract.