قاضی‌ای که دستور مهاجرتی ترامپ علیه ایران و ۶کشور دیگر را لغو کرد، کیست؟