Más tarde se nombró por Esténtor, un personaje de la mitología griega.