WASHINGTON — The U.S. military is considering officially renaming the war with Iran “Operation Sledgehammer” if the current ceasefire collapses and President Donald Trump decides to re-start major combat operations, according to two U.S. officials.If you change the name, it's a new war!