SAN MARTIN DE TREVEJO: El Puerto que aparece en el mapa como "Puerto de San...

El Puerto que aparece en el mapa como "Puerto de San Martín", creo que su verdadero nombre es "Puerto de Santa Clara", que separa Extremadura de Castilla, por esa carretera.