President Donald Trump’s decision to end U.S. membership in the World Health Organization revives a five-year-old grudge with ...