oil whole mustard seeds ginger medium sized head of red cabbage carrots red pepper flakes salt torn kale leaves coconut milk lime juice cilantro thyme