What will Europe do after Trump's travel ban?