Lima, Allen County, Ohio