まともな日本人は自国の首都をトンキンとは呼びません。