An Olympic laps pool