How big a flashpoint is the South China Sea?