San Andres belongs to Colombia: ICJ