Panama Canal record, v. 24, no. 48-52; July 1-29, 1931.

Tools