Lynchburg parks and recreation, pool