and they took all the men, and went to do battle with Ishmael son of Nethaniah; and they found him at the great pool that [is] in Gibeon.