What if Trump had chosen Musk as his running mate and not Vance?