Ohio Redistricting Census 2020 Lawsuits Health Coronavirus pandemic Government and politics Ohio, Census Bureau reach agreement on redistricting data