Xiaomi device with Snapdragon 865 crushes AnTuTu, is it the Mi 10 Pro Plus?

A mystery Xiaomi device with the model number M2007J1SC managed to score 687,000 on AnTuTu. To put that into perspective, in our testing the highest scorer on AnTuTu is the Asus ROG Phone 3 with X Mode enabled and with an active cooling fan strapped on and it only got 621,000. According to the source of the leak, the Xiaomi device in question is running a Snapdragon 865, and not the overclocked Snapdragon 865+ chipset. Benchmarks typically can't tell the two chipsets apart though because they share an identifier so we wouldn't read too much into this. The question is - which device is...