stuffed with beef, onion sauce, served with pico de Gallo