Sancho Martinez de Xodar, Adelantado de la Frontera, cf.