Colt Industries Operating Corporation v. Republic of Korea, ICSID Case No. ARB/84/2