Jim Petro, Ohio’s top higher-education official to retire from Board of Regents, public service<br />