Ronda, Spain - Plaza de Toros, Bullring from the 18th century