they took all their men and went to fight Ishmael son of Nethaniah. They caught up with him near the great pool in Gibeon.