Flow chart: What happens next to Trump’s travel ban?