Trump’s Diet Coke is still active as Coca-Cola agrees to a sweetener swap.