1 tablespoon olive oil
• 1 medium onion, finely diced
• 2 to 3 cloves garlic, minced
• 1/2-inch stick cinnamon
• 1 star anise
• 4 cloves
• 1 teaspoon cumin seeds, crushed slightly with a mortar and pestle or the back of a big knife
• 1 tablespoon coriander seeds, crushed slightly
• 1/2 teaspoon mustard seeds, crushed slightly
• 4 pounds ripe tomatoes, peeled, seeded, cored and roughly chopped; blanching makes tomatoes easy to peel (or substitute 1 cup tomato paste)
• Several twists freshly ground black pepper
• 1 teaspoon sweet paprika
• 1 teaspoon smoked paprika
• 1 teaspoon celery salt
• 1 tablespoon chili powder
• 2 teaspoons fish sauce
• 1/4 cup apple cider vinegar or white wine vinegar (Sherry vinegar makes an interesting ketchup, too.)
• 1 tablespoon honey