So they took all the men and went to fight with Ishmael son of Nethaniah, and found him by the great pool in Gibeon.