Keeping Ohio’s new casinos legal