Judge rules Mahmoud Khalil can be deported