I have a different take on this.
I think all government employees should have their retirement funds invested in companies that they regulate.
Put some of their skin in the game.
Only if they're American owned and located in the U.S.
They've been selling out to China, Ukraine, and others for decades.
Having government employees' retirement funds invested entirely in bonds would force them to support the best interests of America.
I don’t think they should have any Retirement Funding from the Taxpayers, They can have Social Security like everyone else. I would Mandate that they have the Best Health Insurance though, Obamacare, that THEY PAY FOR!!!