home > > 18th century tools entrenching