What else would they call it? (use DPRK everywhere?) They don't recognize the "other" Korea. South Korea does the same, e.g. at http://www.mofat.go.kr/