Trichloroethylene military use