And the people who [were] in it he brought out, and he set them to the saw, and to picks of iron, and to axes of iron, and he made pass through to the brick kilns. And so he did to all the cities of the sons of Ammon. And David and all the people returned to Jerusalem.