The Education Department had about 4,100 employees when Trump took office. After the new layoffs, it would be down to fewer ...