China's leaders are giving up on political hopes of reunification — and considering military options.