In any case USPS hasn't actually fully funded their pensions since the recession.
It's a requirement under the Employee Retirement Income Security Act of 1974.
Lots more info here: https://www.forbes.com/sites/ebauer/2020/04/14/post-office-p...
In any case USPS hasn't actually fully funded their pensions since the recession.