Category:Ants described in the 18th century