A History of Ohio, with Biographical Sketches of Her Governors and the Ordinance of 1787.