Use Official names for north/south korea