17. Wok de ternera con setas, verduras