Sports
South Korea expresses regret as athletes introduced as North Korea at Olympics opening
Members of both Korean Olympic delegations get introduced in Paris as the North's official name 'Democratic People's Republic of Korea,' eliciting dismay from the South side