Has There Ever Been Ko in Olympic Boxing? A Detailed Look