U.S. President Donald Trump said he would soon decide how to proceed with the war between the United States and Iran, describing the choice as either an agreement or a more difficult military path. Trump said Iran had been devastated and that Washington would achieve its objective either way, without explaining the alternatives. He had earlier rejected a seven-day cease-fire plan proposed by Tehran and said bombing could intensify after the November midterm elections. The remarks revise or add detail to his earlier suggestion that the conflict could end soon after the elections. The comments came as diplomatic efforts remained stalled, tensions around the Strait of Hormuz continued and fighting involving Yemen’s Houthis persisted. A tanker was struck off Oman, the IRGC said it controlled the waterway, and G7 countries agreed to release up to 100 million barrels of diesel and crude reserves over four months. Trump also urged the Senate to approve year-round daylight saving time after the House passed legislation, saying people did not want to reset their clocks twice a year.