Mainly in the EU?

It's not just "palm oil", or "red palm oil", it's really called "palm kernel oil" the one I'm after with. It shows up on the Perfect Health Diet book as a very good oil, much like coconut oil.