Ohio Supreme Court Justice Bill O'Neill must step down: editorial