costa rica nicaragua san juan river border dispute