Yes, and that EO now comes into play.
Do you think President Trump had some knowledge of ‘shenanigans’ back then? Seems he did.