World's oceans hit record-high July temperatures