[The Wall Street Journal] U.S. Diplomat’s Retirement Points to Administration’s Divide on North Korea