Trump’s decision to leave World Health Organization, well-received by many