Panama Canal record, v. 26, no. 40-44; May 3-31, 1933.

Tools