Book of Wei
『三国志』魏書巻30辰韓伝では、以下のように記載される。