Xiaomi has released the Redmi K40S, a re-branded Redmi K40 with OIS. The Redmi K40S has a Snapdragon 870 SoC and many of the same features included in the Redmi K50. The Redmi K40S starts at a much more affordable CNY 1,799 (~US$283) though and is also available with up 12 GB of RAM and 256 GB of storage.
https://www.notebookcheck.net/Xiaomi-recycles-the-Redmi-K40-with-the-Redmi-K40S-a-mid-range-smartphone-that-shares-many-features-with-the-Redmi-K50.608771.0.html