I don't believe it's an emerald crab either. i have also never heard of a pistol shrimp killing a mantis shrimp.
I probably read some nonsense then, but mantis shrimps were listed as a prey item for pistol shrimps at one particular site that I visited awhile back.