A three-day strike campaign is sufficient to deter Iranian aggression in the Strait of Hormuz