A famous bullfighter, Lagarijo, killed 4,867 bulls in the 19th century.