boxrec has it as a ko your right, but yet they also have marqeuz - diaz as a tko when the ref stopped both without a count

if were going by their true definitions boths fights were TKO's as there was no ten count

come to think of it i cant even remember the last time a title fight ended in a true KO