Panama Canal record, v. 13, no. 47-50; July 7-28, 1920.

Tools