Russian troops massacred Warsaw in 1794