Ketchup, mayo, la guerre des sauces