World's oceans hit record-high July temperatures, EU's climate monitoring service says | BBC News