Here’s another way to look at yesterday’s jobs numbers. President Trump has shrunk the federal government to its 2014 headcount.