What Makes an Olympic Pool an Olympic Pool?