N. Korea Denuclearization Could Cost $20 Billion