Ah yes, the ketchup pizza sauce! That seems to be what most countries use in non-Western countries. I remember a pizza place in Syria called Pizza Hot (lol) that did the same thing. It isn't worth their time to import pizza sauce because it is more expensive and less abundant. They just replace it with ketchup because locals won't know the difference or won't care hahaha.