July was record hot, in maybe one of the coolest summers of the rest of your life (Aug. 1, 2023)