Merck CEO quits Trump panel: is this a big deal