Este último nombre se dio en homenaje al cabo Víctor Pantoja, muerto en acción de guerra en el año 1904.