A History of Miami County, Ohio 1807-1953