Não é essa uma das dez guerras que Trump pessoalmente terminou