Ohio's redistricting maps struck down a third time