President Donald Trump asked for options on attacking Iran’s main nuclear site last week but ultimately decided against taking the dramatic step, a US official said on Monday.

Trump made the request during a meeting on Thursday with his top national security aides, including Vice President Mike Pence, his new Acting Defense Secretary Christopher Miller, and General Mark Milley, chairman of the Joint Chiefs of Staff, the official said.