July equalled, and maybe surpassed, the hottest month in recorded history (public.wmo.int)