Mantis shrimp eyes, diving in Bali