Militärschläge zur Herbeiführung eines Regimewechsels in Teheran zu starten, ist die folgenreichste Entscheidung von Donald Trumps Präsidentschaft.