— / Three comments on this: 1. Targeting shipping is one thing, targeting a U.S. warship is much more difficult (risking ceasefire collapse for not even a guaranteed hit?) 2. Despite the fact that the Strait of #Hormuz is currently closed