Axios reports that the Trump admin is considering “token" Iranian enrichment, while military options, including targeting Khamenei, are on the table.
