See also National Archives receives Trump records that were ripped apart, taped back together: report