Those are the full and Offical names of those countries, which are not commonly used. For example, North Korea is technically called the Democratic Peoples Republic of Korea, but since North Korea is used more commonly, That is the name that I choose to use.