mängd arbetare sysselsatta med att gräfva en kanal,