Trump’s promised shutdown layoffs lead to at least 4,200 cuts at seven agencies