Legend of the Foundation of the monastery of San Juan de la Peña