Korean still uses 기독교도, Kidok-kyo-do for "Christian", though the Greek form Kurisudo 그리스도 has now replaced the old Sino-Korean Kidok, which refers to Christ himself. Which term has been replaced by Sino-Korean Kidok?