En plein shutdown, Donald Trump licencie plus de 4 000 fonctionnaires