@xahlee Not exactly -- in the USA, it's usually called "Rock Candy." It's not nearly as popular as it used to be, but we certainly had it, and in some places, you can still find it:
https://en.wikipedia.org/wiki/Rock_candy