as much as i know, XiaoMI's TVs doesn't seems to have ATSC tuners for U.S. market. universal voltage input seems to be apply to some models.
here is a link for u to look at what's offered to European market.
https://www.displayspecifications.com/en/brand/6a897
hover ur cursor to the thumbnail...