COLUMBUS, Ohio—After weeks of political stonewalling, negotiating, and bartering, Ohio redistricting leaders from both sides of the aisle have redrawn the state’s 15 U.S. House districts for the next ...