2018 was hottest year on record for oceans