Protest leader Mahmoud Khalil may be deported to Algeria, DHS says