Government jobs slashed by 23K under Trump, Elon Musk’s DOGE — the most since Reagan