trump signs executive order to punish election interference