Trump stops his fourth war.