The shortage of Ketchup hits restaurants across the United States