Meanings of minor planet names: 200,001