a swimming pool with the words how many swimming laps is a mile?