So they took all their troops and went to fight against Ishmael son of Nethaniah. They caught up with him near the large pool at Gibeon.