“For any negotiation with Iran to be considered a success, the United States must secure verifiable constraints on Iran's nuclear program and restore freedom of navigation in the Strait of Hormuz to the pre-conflict status quo.”