The European climate monitoring organization made it official Tuesday: July 2023 was Earth’s hottest month on record. And by a wide margin.