Texas Republicans are orchestrating a mid-decade congressional redistricting