15 uninvolved channel diggers were also killed.
15 חופרי ערוץ בלתי מעורבים נהרגו גם הם.