they took all their men and set out to attack Ishmael, son of Nethaniah. They overtook him at the great pool in Gibeon.
Joab, son of Zeruiah, and the servants of David also set out and encountered them at the pool of Gibeon. And they sat down, one group on one side of the pool and the other on the opposite side.
At the sight of Johanan, son of Kareah, and the other army leaders, the people with Ishmael rejoiced;