History of the city of Columbus capital of Ohio Volume 1 1892