Tri Tokjé Togtsen — Tibetan king