Trump’s latest immigration ban is bad news for US AI ambitions