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