The layoffs mean that the department will now have a work force of about half the size it did when President Trump took office.