Smashing a spacecraft into an asteroid in a bid to throw it off course may evoke memories of a Hollywood disaster movie such as Armageddon or Deep Impact. But this is definitely not fiction — in fact, ...