https://www.techradar.com/news/a-new-xiaomi-phone-with-notch-spotted-on-tenaa

A new Xiaomi M1805D1SE model has made its way through TENAA certification. The phone is said to be the Redmi 6 Pro, similar in design to the Redmi Note 5 Pro with  vertically stacked dual rear cameras and a newly introduced notch as on the top of the display.

Recently, two other smartphone models got certified by TENAA in China last week. The models go by the name — M1804C3CC and M1804C3DE, and these are said to be the Redmi 6 and Redmi 6A.