Olympic swimmers practice in the world's largest pool.