Trump says he will ban term artificial intelligence