The Export-Import Bank of the United States shall have a capital stock of $1,000,000,000 subscribed by the United States. Certificates evidencing stock ownership of the United States shall be issued by the Bank to the President of the United States, or to such other person or persons as the President may designate from time to time, to the extent of payments made for the capital stock of the Bank.