Harmon Pool temporarily closes for repairs after vandalism.