Nach der blutigen Niederschlagung der Proteste im Iran wächst die Sorge vor einem Krieg mit den USA. US-Präsident Trump sagt, Teheran wolle eine diplomatische Lösung – und droht mit einer „Armada“.