inalles 8 — 10 , 000 man , fördelade på den 10 — li mil långa kanalen^ för att hålla muddrings- och borrmaskinerna i gång.