Moneys in the Fund not needed for the current operations of the Department of Housing and Urban Development related to insurance under section 1709 of this title shall be deposited with the Treasurer of the United States to the credit of the Fund, or invested in bonds or other obligations of, or in bonds or other obligations guaranteed as to principal and interest by, the United States or any agen