§ 1433. Definitions
When used in this chapter, the term—
(3)
“Government agency” means any executive department, board, bureau, commission, or other agency of the Federal Government, or independent establishment, or any corporation wholly owned (either directly or through one or more corporations) by the United States.