Wen-hsüan, king