金庸先生的《倚天屠龍記》中，武當七俠有一個人的名字是金庸先生原創的，是誰呢？