Oliver, John, of Lake County, Ohio