Journal of Senate, 1st session of 82d Congress, Jan. 3 [-Oct. 20], 1951.