Trump administration declassified thousands of JFK files. Now what?