In the civil war between Dave and Ish-bosheth a small action was fought by the pool of Gibeon. How many men fought in this battle?