Pocket Kings vs Pocket Kings at the World Series of Poker! Chopped Pot, RIGHT?

Check out this hand from the final table of the Seniors Championship at the 2023 WSOP with $765,731 on the line.