Really? No Capital gains even? That would be hundreds of millions.
That is correct. Normally the proceeds would be taxed as capital gains (20%) but under the IRS rules for adverse sales where a party is forced to sell, there is no tax due.