Panama Canal record. Panama Canal record, Aug. 5, 1931-July 27, 1932; v. 25, [title-page] with index.