A public pool during the summer.