Judge rules Mahmoud Khalil can be deported (npr.org)

Unmentioned here (which is poor reporting by NPR) is that immigration judges are not article III judges; that is, they are employees of the State department rather than members of the judicial branch and their jurisdiction is extremely limited.