Meanings of minor planet names: 88001–89000