TONQUIN. See COCHIN-CHINA.