The Libya Model for North Korea