How Much Risk Should the United States Run in the South China Sea?