Should courts end political district gerrymandering?