Camponotus (from thailand)