20180505 removed: NASA spacecraft will have company all the way to Mars