President Trump has welcomed Iran’s announcement that, at least while the Israel-Lebanon ceasefire holds, the Strait of Hormuz is “completely open” to all ships.