Ohio redistricting map: committee votes to resubmit maps already deemed illegal