Title: History of Allen County, Ohio