There is now a shortage of ketchup in the United States