Is a Shoal in the South China Sea Worth a War with China?