I stayed at the venue until the conclusion of the wrestling but, since the U.S. did not have a medalist in the last weight class, I headed back to the hotel as soon as that match concluded (and it was one heck of a match!). I just found out that they assembled the medalists from the 74 kg bracket after everything else was done to have a replay of the awards presentations, this time with the correct anthem. Better than anything, I guess, but it's still a shame that he didn't get his recognition when everyone was still in the arena.