Trump signs executive order on the release of the JFK, RFK and MLK files, what's next?