Meanings of minor planet names: 19001–20000