sancho's funeral was led by the bishop pedro of segovia