丁卯胡乱 dīngmǎohúluàn first Manchu invasion of Korea Definitions Defs Origin Strokes Stroke Words Sentences Sents