“The Trump administration reduced the headcount at the Department of Justice by 4,000 employees.”