GOP’s Ohio redistricting quandary