Panama Canal record, v. 34, no. 9; Apr. 30, 1941.

Tools