I just checked my cruise planner for my Venezia cruise next month and Coke Zero, Sprite Zero, Barq's, Seagram's Ginger Ale & Tonic Water, Diet Coke, and Fanta Orange are all options in additional to the Pepsi products.
I hope this means they are making the switch. The other Carnival family lines all have coke products!