Puerta principal del castillo de San Pedro o Ciudadela, JACA