Their are many laws relating to documents of the USA -- the matter is yet to be decided by a district court -- what is for sure Trump, personally, did not pack them up and ship them to FL -- (it was all done by fed employees, therefor he did not steal them) -- and in FL, he did not want to give them up -- there could be several reasons for that -- the courts will decide if his reasons were legal.