Summer 2023 was the hottest summer in NASA's record.