World’s ocean surface temperature hits record high.