Oceans were hottest on record in 2019 (Jan. 14, 2020)