How Much Trade Transits the South China Sea?