they took all their men and set out to attack Ishmael, son of Nethaniah. They overtook him at the great pool in Gibeon.