cochinchina hi you added the date of arrival of portuguse traders in vietnam in but the page you cited in your source doesn't mention the naming of the area as cochinchina could you provide a source for this info a scholarly one at that thanks