the smallest asteroid in the asteroid belt has no name