Entrenching tool.

Entrenching tool.