This Olympic-sized public pool is a godsend on a hot, smoggy afternoon.