World ocean temperatures hit extreme new record for July

The month also saw its second-highest air temperatures on record