House reports:. nos. 184-1257, with exceptions, 87th Congress, 1st session, Reports of Committee on Government Operations [Serial 12346].