Carter leaves N. Korea with freed American, n-promise