What would happen if Donald Trump and Melanie were divorced?

In 2001, Knavs became a permanent resident of the United States. She married Donald Trump in 2005 and obtained U.S. citizenship in 2006. She is the second first lady (after Louisa Adams) born outside the United States, and the first one to be a naturalized citizen.