... History of Cincinnati, Ohio, with illustrations and biographical sketches