Tonkín, Golfo de Brazo del Mar Meridional de China, de 500 km de largo, al E del N de Viet Nam. Diccionario geográfico universal