Quad Aces VS Royal Flush

This happened at the World Series of Poker event, what a way to lose...Quad Aces vs a Royal Flush?