“A potential victory of Republican candidate Donald Trump in the race for the presidency of the United States would toughen immigration procedures.”