Más tarde, en 1981, recibió el nombre de «Antenor» en referencia al homónomo personaje de la mitología griega.