President Trump to allow release of JFK files