Meanings of minor planet names: 42001â43000