Incluso, allí se firmó el histórico tratado que diera fin a esa contienda el 20 de octubre de 1883.