Mike Pompeo had blocked the release of the JFK files