Boxeo: Cuántos jueces (incluido el árbitro) juzgan un campeonato oficial.