Whatever promises President Trump made that he hasn’t kept as yet, there is one that he is definitely keeping; trimming the bureaucracy in Washington.

According to Government Executive reports, nearly 10,000 federal employees have been cut from the payroll in the first six months of his presidency.

Government Executive states: “A July jobs report released by the Bureau of Labor Statistics Friday showed non-postal federal agencies employed 2,188,900 workers at the end of the month, down 2,200 from June and 10,700 from January, when Trump took office.”

The 2013 sequestration triggered by the 2011 Budget Control Act forced agencies to cut roughly 57,000 jobs, the largest plunge in any single year since 1997.