What body of water, a part of the South China Sea, separates the Red River Delta (known locally as Đồng bằng sông Hồng) from Hainan Island?
Gulf of Tonkin (Vịnh Bắc Bộ)