Yes. The International Court of Justice recognized "Laguna de Portillos" as Nicaraguan territory; however, it ruled that the international land border ends at the mouth of the "San Juan" river. Therefore, "Laguna de Portillos is Nicaraguan territory surrounded by Costa Rican territory