Panama Canal record, v. 33. no. 3; Oct. 15, 1939.