Trump signs executive order to declassify JFK, RFK, and MLK documents.