如果朝鲜和韩国统一，要叫什么国名？金日成：高丽民主联邦共和国