PublicSwimmingPool

A public swimming pool.