Free at Rio Olympics: 9 million forest-friendly condoms