SEOUL, South Korea — The U.S. strike that killed Iran’s top military commander may have had an indirect casualty: a diplomatic solution to denuclearizing North Korea. Experts say the escalation of tensions between Washington and Tehran will diminish already fading hopes for such an outcome and inspire North Korea’s decision-makers...