Might want to check the actual currently in effect EO.
Read the EO #:Executive Order on Imposing Certain Sanctions in the Event of Foreign Interference in a United States Election.
September 12,2018 Still in effect, and actions being taken under this, now.
If the server does not actually exist then that it does not fall under that EO.