Regardless, it's called Worcestershire sauce.