Artificial’ is out: Trump orders officials to call it ‘super intelligence’ instead