Panama Canal record, v. 26, no. 49; July 15, 1933.