One of my cucumbers was attacked by a mantis shrimp - he didn't die immediately, so I left him in the tank to see if he would recover. This morning, sadly, he died. And this fish was picking at it:
Any idea what it is? It's about 3 inches long, and I've never seen it in the tank before...