52d Congress, 2d session. House executive documents, v. 3. No. 1, pt. 2, v. 2, pt. 1; Report of Secretary of War, 1892, v. 2, pt. 1; Engineers, pt. 1.

Tools