I worked for the federal government under the FERS retirement system, so I have the infamous FERS "diet cola" pension. It's only partially cola'd, so I voted "defined benefit pension", not "defined benefit pension cola'd". That's OK! It's small, just $822/month, but my portfolio grew enough during my first 12 years of retirement to compensate for the fact that my pension isn't fully cola'd.
Also the federal government encouraged those of us in the FERS system to contribute as much as we could to the TSP (=401K, more or less), and offered a partial match. I contributed the max every year so I have equal monthly payments from the TSP G Fund that are about the same as what I get from my diet cola pension.
Plus, I have SS, so everything is working out. Federal workers under the older CSRS system get a big, fully cola'd pension but IIRC they can't get SS so it's only fair that they should get more from their pension.