Se designó inicialmente como y, posteriormente, se nombró en honor de Anastasia Semenoff.