Trump to be briefed Tuesday on options to respond to Iran protests - WSJ