The Pentagon is considering renaming the U.S.’s war with Iran to “Operation Sledgehammer” if hostilities resume, according to a report.​ The war began on February 28 under the name “Operation Epic Fury”, but efforts to bring an end to the conflict with a peace deal have stalled as neither side can agree to terms. Trump is said to be considering further military action if Iran does not agree to a deal and reopen the key shipping route the Strait of Hormuz. A White House official told NBC News any fresh military combat action against Iran would be conducted under a new name and operation. Two U.S. officials told the outlet that “Operation Sledgehammer” was not the only name being considered.…