>It's funded by insurance premiums paid by companies that offer pensions, not by taxes,

It's not much different than the post office itself in that regard. It's losing money every year. At some point congress will step in and bail them out. Any time a company goes bankrupt and forces them to take over pension obligations they lose more money.