Defense production record, official weekly bulletin of defense production program, May 10-31, 1951; v. 1, no. 2-5.