The next lieutenant governor of Ohio is...