And the people who [were] in it he brought out, and they sawed with the saws, and with the iron picks, and with the axes. Thus David did to all the cities of the sons of Ammon. And David returned, and all the people, [to] Jerusalem.