Ravrol
Shouldn't the oficial name be used instead of the simplified version?
The wikipedia article could be linked, where it's mentioned already that some might called it just 'El Valle'
https://en.wikipedia.org/wiki/El_Valle_de_Ant%C3%B3n