Where is the Gulf of Tokin located?

It is the portion of the South China Sea that forms the coast of northern Vietnam, roughly between Hainan Island (China) in the north east and Hué (Vietnam) in the south west.