History of the Government printing office, at Washington, D. C., with a brief record of the public printing, 1789-1881