U.S. Route 42 in Ohio