I thought they added the word “democratic” but the announcer was speaking over it so I wasn’t sure. I did say at the time, "did they just call ‘South Korea’ ‘North Korea?’
But the whole ceremony was such a bizarre fever dream that by the time they got to robohorse, I had totally forgotten that.