While officials stressed that the estimates were subject to change, the snapshot suggests how agencies are meeting Trump’s mandate to shrink government.

The details are ... while the Interior Department would shed nearly 1 in 4 of the workers it had when Trump took office, and the IRS would cut nearly 1 in 3. A White House official said the ...