The first direct observation of an extra-terrestrial collision of a solar object was observed in July 1994 when a comet collided with Jupiter. This collision provided new information about Jupiter and highlighted its role in reducing space debris in the inner solar system. What is the name of that comet?