I noticed they even played Scotland the Brave for North Korea (which JtS and I both found rather amusing). I thought it was customary to play the anthem of each country as the athletes of that country were passing by. Is that no longer the case?