New shrimp species named after Pink Floyd