large Olympic swimming pool with a diving board