For accuracy purposes, which of the following devices should be used to measure the temperature of a battery electrolyte?