I read that the Note 5 Pro is only declared as "Note 5 Pro" in India, which is always a mess with Xiaomi's naming. They call their devices differently depending on the market.... great. Great for googling.
As far as I can see, all the devices listed as "Xiaomi Redmi Note 5" at Digitec are declared correctly, except for the golden variant with 64 GB. It says in the description that it has a dual camera, but in the picture above it doesn't... (and is therefore possibly a Redmi Note 5 Pro).
Xiaomi Redmi Note 5 (6", 64GB, Dual SIM, 12MP, Gold)