2 Samuel 12:31 New American Bible, Revised Edition (NABRE)

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