Rote Nashorngarnele, mosquito shrimp, rhino shrimp, red-fronted shrimp, Rudolph shrimp, red-stripe shrimp