Olympic swimming pool