リオデジャネイロオリンピック5000m優勝者。