عدد القتلى في صفوف الجيش الإسرائيلي، بـ"أكتوبر الأسود".