a swimming pool is used for Olympic competition.