It seems that Xiaomi is on the verge of announcing the POCO F4, a global version of the Redmi K40S. While the POCO F4 and Redmi K40S will share many features, Xiaomi has equipped the former with a higher megapixel camera than the latter.
https://www.notebookcheck.net/POCO-F4-Hands-on-images-leak-of-possible-Redmi-K40S-re-brand-with-an-improved-primary-camera.625172.0.html