Restoration—City of Dallas White Rock Pump Station