Trump says the US has left WHO. But has it really?