Trump administration formally pulls US out of WHO