“The percentage of U.S. government workers with a pension plan has remained stable at 90% from 1980 to the present day.”