He shrunk the federal workforce by 15% in his first year in office. This has never happened before.

Both the white house and their opponents agree on these numbers, so not sure why you wouldn't.