I was actually shocked when I went to Rio and people were adding ketchup to pizza

That is shocking, BBQ sauce or sweet chilli sauce works much, much better.