حضور ناوهای ارتش جمهوری اسلامی در دریای سرخ برای محافظت از کشتی‌های ایرانی