In Search Of: Trader Joe’s Dark Chocolate Mint Coin cookies

A year or two ago I got some Trader Joe’s "Dark Chocolate Mint Coin" cookies. They were amazing! Basically Girl Scout Thin Mints, but affordable. Problem is I have not seen them in any Trader Joe's I have been in since and I cannot find it on the Trader Joe's website.

Does anybody know what happened to them? I keep looking, hoping that they will return (maybe they are seasonal?)