President Trump signs an Executive Order ordering the declassification of files