trench tool is mounted on the armor of a tank, armored personnel carrier, or infantry fighting vehicle