Lynchburg parks and recreation, Miller Park Pool