Muralla de Tejería, en Pamplona, derribada en 1918