I was mistaken, on two counts. One being the FEHB and what it is, you're right; also the FEHB was replaced with exchanges as part of the affordable care act, although the government does subsidize them. Of course many of them are old enough to end up in Medicare.

[1] https://www.marketplace.org/2017/07/17/health-care/ive-alway...