President Trump signs an EO to declassify the JFK, RFK, and MLK Jr. files