Shell: Payment of an interim dividend