Myrmica rugiventris (M. R. Smith ^HNS 1943b)