What’s this ant species called? Is it native to this part of Texas?