a pool is used for diving