18th century tools entrenching