20200721 city.goa: Researcher finds new species of rare ant; names it after his college professor