Trump’s Executive Orders on Immigration Could be Tough to Undo