Do you have Coca-Cola Zero in USA? Is it popular?

Hi!

I see a lot of US people drinking Diet Coca Cola (what we call here "Light Coca Cola"), even people like Trump and Elon Musk.

However, I never hear of Coca Cola Zero being mentioned in USA in general. Is it a thing over there?