A federal judge has ordered the release of Mahmoud Khalil