Is there not a dispute about Carrasquilla's record going into his bout with the Korean?