Названа дата международного выхода смартфона-рекордсмена Redmi Note 8 Pro