Panama Canal record, v. 34, no. 3; Oct. 30, 1940.