republic of korea renamed to south korea