The layoffs represent a small portion of the US government’s 2 million civilian employees at the start of Donald Trump’s term.