A Top US Diplomat For North Korea Policy Is Retiring