Democrats just lost the redistricting war