“The primary naval threat from Iran in the Strait of Hormuz is not its conventional navy, but rather the fast boats and anti-ship cruise missiles operated by the Islamic Revolutionary Guard Corps (IRGC).”