A 1920s public pool gets a revamp