1 Chronicles 20:3 ESV
And he brought out the people who were in it and set them to labor with saws and iron picks and axes. And thus David did to all the cities of the Ammonites. Then David and all the people returned to Jerusalem.
ESV: English Standard Version 2016