【8月13日 AFP】リオデジャネイロ五輪の飛び込みでは12日、不気味な緑色に変色したプールの水を青色に戻すための緊急処置として競技会場が閉鎖され、選手が水のない施設で練習することになった。