a swimming pool is for diving