Just a small point on the Delta PBGC pensions. The PBGC received Delta stock in return for assuming the pension obligation. The PBGC is a private corporation that Delta paid premiums to for insuring those pensions. In the end the stock turned out to have more value then the assumed pension liabilities and the PBGC made a profit off Delta. The upside to this is by law the PBGC can't keep all that profit and has to return much of it to the effected pilots. Many Delta pilots will be paid substantially above the normal PBGC max limit.