At an Oval Office event on Friday, Elon Musk was asked which was harder, colonizing Mars and making the government more efficient.