401(k)s are not pensions. They are separate accounts managed by their owner. For the life of me, I don't know why so many Enron employees had Enron stock in their 401(k).
That said, the equivalent to a 401(k) for public employees is the 457. Again, 457s are not pensions and the investments they contain are directed by the employee/owner.
I searched. I couldn't come up with any evidence that Enron had a pension.