Pentagon 'Open to Discussion' That Ties Formal End of Korean War to Denuclearization