Conflict over Trump forces out an opinion editor at The Wall Street Journal