In Ohio's redistricting battle, Gov. Mike DeWine said he'd take the lead. But did he?