How many United States ships will Iran successfully attack in the Strait of Hormuz before August 12, 2026?