The model is Redmi K40 but it's also known as Poco F3 for global markets. it comes with global firmware.

Without original box. With US Charger (Not original)