The border with Costa Rica