bergstrakt , som skiljer Tonkin från Kina.