Civil and political rights in the Republic of Korea and in the Democratic People’s Republic of Korea