The Washington Post, according to American sources:

The Washington Post, according to American sources:

Ending the war with Iran has become a top White House priority, despite President Trump's public statements indicating he is comfortable with the conflict continuing until the midterm elections in November.