US open to possibility of formally ending Korean War: Pentag