How many Muslims were to dig the Ditch during the battle of Ahzab? A. 1000 B. 3000 C. 5000 D. None of these