Tilikum, the infamous orca that killed a SeaWorld trainer, is dead