The shoal has been a major source of tension in the South China Sea, a conduit for more than $3 trillion of annual ship-borne commerce.