How Trump can destroy Kim Jong Un's nukes without blowing up the world