Should Congress ban mid-decade redistricting?