حضور ناوگروه های اطلاعاتی نیروی دریایی ارتش در دریای سرخ