American people, in general, are very fond of ketchup.