delen är provinsen Tonkin.