mariotomo
Hey, thanks for raising the question. Everybody here simply calls it "El Valle", there's no misunderstanding possible. "El Valle de Antón" is the complete and official form that is seldom used in practice. ... Take a name like "San José", there's like 8 of them. "El Valle" is just this one.