¿No es esta una de las diez guerras que Trump terminó personalmente?