trenchers [sing. a trencher]