Does Ohio House Speaker have to resign after arrest? Ohio law doesn't say so