What would happen if Donald Trump and Melanie were divorced?

Donald John Trump (born June 14, 1946) is the 45th and current president of the United States. Before entering politics, he was a businessman and television personality.