How many Muslims were to dig the Ditch during the battle of Ahzab?

A. 1000

B. 3000

C. 5000

D. None of these