I witnessed a similar goring resulting in death in Mexico City in 1996.

They killed the bull anyway.