F1 race director Charlie Whiting dies: Tributes from the paddock