Long-time resident heads Ohio State Highway Patrol