yellow mustard (for serving)

Panchos Argentinos (Argentine-Style Hot Dogs)