Is Donald Trump one of the smartest presidents in US history?