Ronda's bull-ring, important in the history of Spanish bull-fighting