Ohio Highway Patrol honors 2 local workers

Two area members of the Ohio Highway Patrol have been honored with annual leadership awards.