Popular public pool shut down by vandalism