14,000 pages of FBI documents on the JFK assassination happen to turn up in the wake of the Trump executive order.