The South China Sea dispute was settled by a court nobody has ever heard of