Wok de ternera con pimientos y arroz de jazmín