بیش از 9 میلیارد دلار، دارایی مسدود شده ایران در کره