Trump briefed on military strike options against Iran as protests continue, with “large-scale aerial strike” among choices presented, according to US officials.