President Trump should declare the war with Iran officially over