Panama Canal record, v. 23, no. 48-52; July 2-30, 1930.

Tools