Les océans battent un record de chaleur pour un mois de juillet