a swimmer in a swimming pool