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.