“During the first year of the Trump administration, the U.S. federal government workforce was reduced by 250,000 to 300,000 employees.”