Panama Canal record, v. 19, no. 9-12; Oct. 7-28, 1925.

Tools