Mar-a-Lago search tied to missing White House records