Trump leaves world health organization.