For the purpose of this title—
(1)
“Government corporation” means a corporation owned or controlled by the Government of the United States; and
(2)
“Government controlled corporation” does not include a corporation owned by the Government of the United States.