[qohen]

The toll was significantly higher -- this is from a 2017 BBC article [0]:

The Chinese army crackdown on the 1989 Tiananmen Square protests killed at least 10,000 people, according to newly released UK documents.

The figure was given in a secret diplomatic cable from then British ambassador to China, Sir Alan Donald.

The original source was a friend of a member of China's State Council, the envoy says.

[0] https://www.bbc.com/news/world-asia-china-42465516