[Zanta]

Your math is off by a couple orders of magnitude :)

[edabobojr]

Ouch! I feel the fool.

Revised thoughts. It would only be 10 billion, which would equal two years of payouts for the entire pension.

[wahern]

obligatory XKCD: https://xkcd.com/947/