And when they had arrived at the center of the city, Ishmael, the son of Nethaniah, put them to death around the public cistern, he and the men who were with him.