The eyes of a mantis shrimp