pie updated latest rom is showing on miui portal why don't you download from there and with updater you get pie rom officially although data etc you backup first.Rom size 1.6 gb.

its redmi note 5 pro, globally its called as redmi note 5 and Indian redmi note 5 is called as redmi 5 plus