El Redmi Note 7 Pro se lanzará pronto, según el VP de Xiaomi