Say what you want about Trump, but removing leaders instead of dragging out wars is a very different strategy.