“Where there were slain of Nicanor’s side about five thousand men, and the rest fled into the city of David.”