20171008 sports.football: Decision to bench Ronaldo not taken lightly: Santos