When troops from the Aramean kingdom of Damascus came to help Hadadezer, David killed twenty thousand of them.