古代专门从事挖掘作业的工兵部队。