پایان عملیات امداد در بندر شهید رجایی/ چند نفر جان باختند؟