Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Myrmogonia Forel, 1912 Camponotus gibbinotus Forel, 1902