Highest-ever ocean temperature measured as powerful El Niño forms