The U.S. strike that killed Iran's top military commander may have had an indirect casualty: a diplomatic solution to denuclearizing North Korea.