Meanings of minor-planet names: 502001