How We Know Europe’s Mars Lander Crashed