Dandadan: Mr. Mantis Shrimp other names

BUR #13212 has been approved by @nonamethanks.

create alias dover_demon_(dandadan) -> mr._mantis_shrimp
create alias peeny-weeny_(dandadan) -> mr._mantis_shrimp

other names for Mr. Mantis Shrimp

BUR #13213 has been approved by @nonamethanks.

create alias jiji_(dandadan) -> jin_enjoji

I realized that I probably should have also included this, but similar to Takakura Ken (Dandadan) it's what most fans know him as

The bulk update request #13212 (forum #225926) has been approved by @nonamethanks.

The bulk update request #13213 (forum #225929) has been approved by @nonamethanks.