Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Hypercolobopsis C. Emery, 1920 Camponotus Tonduzi Forel, 1899