تنش‌ها در خلیج فارس و دریای سرخ میان ایران، آمریکا و نیروهای نیابتی جمهوری اسلامی؛