당국이 무력으로 진압한다면, 그래서 사상자가 만 단위가 넘는다면 한국이 군사적으로 개입해야할까?