Naples in summer: things to do when it’s hot (and where to escape the heat)