20050515 unknown: Which is the world's largest swimming pool?