City of Lima, Allen County, Ohio, United States