Juiz ordena que governo Trump readmita milhares de funcionários públicos