President Donald Trump has a decision to make: Should he negotiate a nuclear deal with Iran or subject Iran to “bombing the likes of which they’ve never seen”?

The answer is: It depends on the nuclear deal.

Trump says he will accept nothing less than “total dismantlement” of Iran’s nuclear program. He’s right to take that stand. So, what does “total dismantlement” look like? Fortunately, we have an example. In 2003, Libyan leader Moammar Gaddafi invited outside officials to come in and dismantle his nuclear, chemical weapons and ballistic missile programs. U.S. military aircraft later landed in Libya, and the Libyan nuclear program — including its uranium hexafluoride, centrifuges and designs to build bombs — was crated up and loaded onto the planes, which were flown to a secure storage facility in Oak Ridge, Tennessee. Libya’s enriched uranium was also removed, its chemical munitions destroyed and its ballistic missiles dismantled.

Iran understands the weakness of its position. If its leaders didn’t, they would never have agreed to negotiate. The regime is no doubt hoping that Trump wants to avoid using military force enough to agree to some version of the nuclear deal with President Barack Obama, which would allow them to keep their centrifuges under the pretext of a civilian nuclear program. Trump knows that is a ruse. “My inclination is to say, ‘What do you need that for? You have a lot of oil,’” he recently told “Meet the Press.”

His inclination is right. Iran should be given a simple choice: Allow us to eliminate your nuclear program peacefully or watch it destroyed by military force.

Some on the isolationist right are alarmed that Trump might be “dragged” into war with Iran by some mysterious cabal of “neocons” or by Israel. They don’t understand Trump. This is the president who drove the Islamic State from its caliphate — and then ordered the killing of its leader, Abu Bakr al-Baghdadi; attacked Syria not once, but twice, for allegedly using chemical weapons against civilians; launched a cyberattack on Russia and gave the green light for the U.S. military to take out hundreds of Wagner Group mercenaries in eastern Syria; ordered the killing of Iran’s terrorist mastermind, Qasem Soleimani — and then warned Tehran that if it retaliated, he had selected for a counterstrike “52 Iranian sites (representing the 52 American hostages taken by Iran many years ago)”; and launched a bombing campaign against the Houthis in Yemen, forcing them to agree this week to stop their attacks on international shipping.

That president is not afraid to use force against Iran. Asked in a recent interview if he might get pulled into an attack, Trump responded: “No, I may go in very willingly if we can’t get a deal. If we don’t make a deal, I’ll be leading the pack.”

I don’t believe Trump will agree to a deal with Iran that is weaker than the deal Bush negotiated with Libya. If Trump can convince Iranian officials to allow U.S. military aircraft to land in their country, load up all of their uranium, centrifuges, bomb designs and ballistic missiles, and fly them to Oak Ridge — and agree to cease its support for terrorism — then Trump should sign on the dotted line.

If not, then it’s time for Plan B — and for the United States and Israel to, in Trump’s words, “bomb the hell out of them.”