Government agency
(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.