TOMS measurement of the sulfur dioxide emitted during the 1985 Nevado del Ruiz eruptions