Panama Canal record, v. 26. no. 1-5: Aug. 3-31, 1932.

Tools