Legislative history of H.R. 8000, 88th Congress, Interest equalization tax act, Public law 88-563.