Enchiladas rojas y verdes con arroz jazmín