Even before the ceasefire was declared, US President Donald Trump and his defence secretary, Pete Hegseth, had claimed the Iranian Air Force was "wiped out" and the Navy was "at the bottom of the sea".