Highest ocean temperatures ever recorded for the month of May, NOAA says