NBC: National Archives says Trump took 15 boxes of White House records to Florida