نیروی دریایی ارتش جمهوری اسلامی ایران از درگیری ناوگروه هشتاد و سوم این نیرو با دزدان دریایی در دریای سرخ خبر داد.