It would probably be Flash Red on the Polo. It's a really old colour that's been around since at least the Mk4 days. I think it's a bit brighter than Tornado Red IIRC.
Interesting that you saw a T-Roc in Kings Red, wasn't aware it was available on that colour. 🤷♂️
KR is a bit of a chameleon, it'll look different as the lighting changes.