President Trump formally notified Congress on May 1 that hostilities with Iran, which began on February 28, 2026, have ended. The notification represents a decisive close to a rapid and successful military…