“David brought out the people who were there and put them to work with saws, iron picks, and axes. And he did the same to all the Ammonite cities. Then David and all his troops returned to Jerusalem.”