JFK assassination: Trump to allow release of classified documents