Is the Panama Canal Worth War With China?