A second look at the ants of the Camponotus herculeanus group in Eastern Asia.