It is unclear if non-US manufactured Coca-Cola contains the coca leaf derivative. Coke is very tight-lipped about the recipe, and how it varies around the world. They would not even confirm the continued use of coca until the 1990's when journalists uncovered the New Jersey plant and the Federal paper trail tying the importation of the leaves to Coke.