Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Dinomyrmex Ashmead, 1905 Camponotus Pompeius Forel, 1886