President Trump signs an Executive Order declassifying records on JFK, RFK, and MLK Jr