How will former US President Donald Trump be remembered in history?