President Donald Trump has indicated that he would support the killing of Iran’s newly installed supreme leader, Mojtaba Khamenei, if the Iranian leader refuses to comply with U.S. demands, including halting Iran’s nuclear program, according to American officials who spoke to The Wall Street Journal.

The White House declined to comment on the report. However, Trump told the New York Post that he is “not happy” that Khamenei was selected to lead Iran after previously calling his potential leadership “unacceptable.” Trump wrote last week on social media that he wants to be involved in choosing a “great and acceptable” leader for Iran following what he described as the country’s “unconditional surrender.”

“I’m not going through this to end up with another Khamenei,” Trump told Time magazine last week.

A current and a former U.S. official said Israel is expected to carry out an operation aimed at eliminating Khamenei, who was appointed supreme leader on Sunday. The officials noted that Israel has taken the lead in targeting Iranian leadership figures. When recently asked on CNN whether Khamenei was a target for Israel, Foreign Minister Gideon Sa’ar responded: “You’ll have to wait and see.”

Younger Khamenei is viewed in Washington as a hardline successor to his father, carefully chosen by Iran’s powerful Islamic Revolutionary Guard Corps, according to current and former U.S. officials. American officials said they do not expect Khamenei to abandon Iran’s pursuit of nuclear weapons or to enter negotiations to end the conflict under terms favorable to the United States.

French President Emmanuel Macron also addressed the war with Iran, saying that airstrikes alone will not be enough to bring down Iran’s political regime and warning that the conflict is likely to continue for some time.

“I don’t think we can achieve profound change in a regime or political system through bombing alone,” Macron said in a television interview aboard France’s aircraft carrier Charles de Gaulle, which arrived in Cyprus on Monday.

The war “will certainly continue in an intense phase for several days, perhaps several weeks,” he added.

The Wall Street Journal reported that Israel estimates roughly 7,000 members of Iran’s security forces have been killed since the start of the war, according to a senior Israeli security official.

Iran maintains more than one million security personnel across various organizations, including the regular army (Artesh), the Islamic Revolutionary Guard Corps (IRGC), and the Basij resistance militia.