Trump knew how to correctly declassify documents, White House official tells prosecutors