1 Chronicles 20:3 New American Bible, Revised Edition (NABRE)

He deported the people of the city and set them to work with saws, iron picks, and axes. David dealt thus with all the cities of the Ammonites. Then David and his whole army returned to Jerusalem.