Identification based on M. pergandei being the only species of Myrmecophilus known from the eastern U.S.