World's oceans set a June heat record: EU monitor