wholly owned Government corporation
(4) Wholly owned government corporation .— The term “wholly owned Government corporation”— (A) means any corporation, regardless of the law under which it is incorporated, the capital of which is entirely owned by the Government; and (B) includes the authorized officers, employees, and agents of the corporation.