DHS will continue to enforce Trump’s travel ban