Trump’s Iran Option: Last-Chance Diplomacy or a Bunker-Busting Bomb