Divers are performing exercises in an indoor swimming pool.