President Trump announces release of JFK files