Trump’s WHO exit a ‘bad dose’ for global health