Progress has been scant since Trump’s last summit with North Korean leader