Brazil's Ronaldo becomes the World Cup's leading goalscorer.