Here’s what Musk’s potential takeover of Twitter could mean for Trump