Ohio history (Ohio Historical Society, 1962)