U.S. Highway 42 (Ohio)