[pkaye]

Probably the PBGC partially covers the retirees through employer premiums payments and tax payer funds.

https://www.pbgc.gov/