a swimming pool is used for diving.