When will Iran or the United States first officially announce that the Strait of Hormuz has been fully reopened to unrestricted commercial shipping?