Upset in WSJ newsroom over editor's directive to avoid 'majority Muslim' in immigration ban coverage