Nice heatwave, but June 1878 was hotter