Portal abovedado de acceso al castillo de San Pedro, JACA