this would later prove to be the beginning of the monastery of san juan de la peña