Pentagon's first software chief quit because China has already won global tech war