Federal employment is the same in Dec 2018 as it was when Trump was elected

Actually it's up 1,000.