Trump executive order would punish foreigners linked to election interference