June sets ocean temperature record due to El Niño and climate change