Elon Musk and Trump Tell Reporter Efficient Government May Be Harder Than Colonizing Mars