All premiums paid on account of United States Government life insurance shall be deposited and covered into the Treasury to the credit of the United States Government Life Insurance Fund and shall be available for the payment of losses, dividends, refunds, and other benefits provided for under such insurance, including such liabilities as shall have been or shall hereafter be reduced to judgment i