Hot dogs with a jalapeño/red onion/ketchup sauce