Hmmm... not Oratosquilla oratoria. It's Odontodactylus scyllarus, that is the most commonly kept of the mantis shrimp species in aquariums worldwide (if we can use the word "common" for these rarely seen fabulous creatures).
Similar then to Prague World Aquarium, the first place where I saw a mantis shrimp. It was Odontodactylus scyllarus and it was labeled as Lysiosquillina maculata.