Trump’s Executive Order on Immigration: What We Know and What We Don’t