Judge: Government must release Mahmoud Khalil