US-Präsident Donald Trump hat einen Einsatz in der Straße von Hormus vorerst ausgesetzt.