Trump must halt mass layoffs of federal workers: Judge