Sports: how many bulls are killed in a formal bullfight