a swimming pool is used for laps