Title: Republic of el salvador against the republic of nicaragua