Panama Canal record, v. 26, no. 45-48; June 7-28, 1933.

Tools