Sancho II dari Pamplona, di dalam Codex Vigilanus