NBC: Judge allows Trump administration to continue to detain Mahmoud Khalil