Panama Canal record, v. 33, no. 7; Feb. 15, 1040.

Tools