Jerónimo Zurita dice simplemente que Gastón y Esteban fueron muertos por los moros en 1131.