원문에선 North Korea와 구별되어 쓰였더라도, 대한민국의 공식 문서에서는 차마 \'조선민주주의인민공화국\'이라고는 못 쓰고, 둘이 구분 안 되는 걸 감수한 채 \'북한\'이라고 옮기려나