Retirement Eligibility Rule That Surprises Federal Employees