I think it's not a problem. Xiaomi didn't announce this device, but we may buy it in countries official shops (Spain, Belarus).
Probably, Chinese holidays delays developing and announcing any news for this device.
Only we can do - wait for any news.
For instance, we can see Redmi Note6 pro in...