Democratic people's republic of korea in french