Thanks @drawmeaship! :) I'm not sure if curry ketchup is available all around the world, but I'd check large, well equipped supermarkets. You can also make your own curry ketchup from regular ketchup. There a plenty of recipes online, but they can be a bit complex. I'd just mix regular ketchup with curry powder, paprika and a pinch of sugar (if your ketchup is unsweetened), until it tastes nice! :)