When used in this subchapter—
(2)
the term “Government agency” means any department, independent establishment, or other agency of the Government of the United States, or any corporation wholly owned by the Government of the United States; and
(Jan. 28, 1948, ch. 38, § 2, 62 Stat. 15.)