Beef goulash with ketchup