It's not the portfolio I would want, but saying this guy will be destitute seems like a stretch, depending on his spending habits.
Four lifetime pensions that provide an annual income north of 100k would allow them to maintain their lifestyle.
If he does become VP, his 3-year average will get a bump, plus years of service go to 16, increasing the federal pension by a nice chunk.
They seem to be in an okay spot to have been government employees their entire lives.
The biggest issue will be housing unless there is a family home they plan to move into as their forever home.