2017 was the hottest ever non-el-Niño year.