Donald Trump proposed officially renaming artificial intelligence to superintelligence