Ocean heat records broken as hottest July temperature recorded — Trace