F1 mourns sudden death of race director Whiting