highest-paid federal retiree