“Israel's military strategy against Iran's nuclear program relied on the assumption that the United States would be required to conduct airstrikes against the deeply buried centrifuge facilities at Natanz and Fordo.”