A new regulatory body certification has seemingly confirmed the fate of the Redmi K40 for global audiences. It appears that Xiaomi plans to release its new handset under the POCO brand, and possibly as a successor to last year's POCO F2 Pro or POCO X2.
https://www.notebookcheck.net/Xiaomi-registers-the-Redmi-K40-globally-under-its-POCO-brand-indicating-a-possible-successor-to-the-POCO-F2-Pro-or-POCO-X2.524450.0.html