. . . "It also oversees health and other insurance programs for its government employees and retirees." .