Panama Canal record, v. 22, no. 48-52; July 3-31, 1929.