Kina skickar militärtrupper till gränsen mot Hongkong. Det skriver USA:s president Donald Trump på Twitter, med hänvisning till amerikansk underrättelsetjänst.