Tonkin och kinesiska provinsen Kuang-Ton.