Say what you will about former US President Donald Trump, but give him his due.