Democrats struggle to choose their weapons in a Trump-waged redistricting battle. semafor.com