Trump’s presidential records, ‘dropped’ by DOJ, ‘matter a lot in the long run’