Trump to release 80,000 pages of JFK files on Tuesday