Tedros – the new Director General of the World Health Organization