What kind of mint is used for ice cream?