Calendars of House of Representatives and history of legislation, 80th Congress, final edition, Dec. 19, 1947.