Looking at FlightRadar 24. The primary route north is offshore of Vietnam by several hundred miles. What do they call that area? It isn’t the gulf of Thailand.
http://www.flightradar24.com/#9.25,109.97/6?&_suid=1394243338910042748244097814636
Tonkin?