If an asteroid really threatened the Earth, what would a planetary defense mission look like?