What country lies west of the Gulf of Tonkin?

Vietnam