Choke? Yeah, probably.
But the respect he's earned for shooting 60(!) in a national championship far outweighs any asterisk about what could have been.
I would assume his round ties the unofficial record for "Lowest Round in National Championship Competition". Ever. If my assumption is correct, then that's a big deal.
Quick quiz, I'll post the answer shortly: with whom would he share this record?