The cloud dream of the nine, a Korean novel: a story of the times of the Tangs of China about 840 A.D