Declassified cable estimates 10k killed at Tiananmen Square (2017)