Does Campari in the US use red 40 or another artificial dye?

I read they stopped using cochineal for dye, but can’t find specific info about what makes it red now. The last time this question was asked on reddit that i found was several years ago.