Why does north Korea identify as democratic people's republic?