Couldn't watch the fights. Do any European fans know the exact time of the stoppage during the 10th round?