NBC: Immigration judge orders Mahmoud Khalil to be deported to Algeria or Syria