The clause is in the standard structural arrangement, and the -ing form is appropriate here (although an alternative structure, ' abandonment of ' is also available). Strict grammarians, however, would require the possessive Korea's : ... a process that could lead to North Korea's abandoning all of its nuclear programs .
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.