Ohioans to vote in May on plan to end gerrymandering of congressional districts