In the event that the Postal Service permanently ceases operations, any funds derived from the sale of any real property owned by the Postal Service shall be used to pay any outstanding liability with respect to the salaries and expenses of any Postal Service employee. The balance of any remaining funds shall be deposited into the Postal Service Retiree Health Benefits Fund established under .section 8909a of title 5