The additive from the White House will go to Mars.