Porcupine fish kills shark while being eaten