Has potential default already claimed the IRS?