Israel intended to strike Iran’s nuclear facilities as early as May, a plan that would have required American assistance. But U.S. President Donald Trump decided against an attack in favor of negotiations, The New York Times reported on Wednesday.

Trump’s decision came “after months of internal debate” about whether to pursue a military or diplomatic option. Even hawkish members of Trump’s cabinet expressed skepticism that a military strike could destroy Iran’s nuclear ambitions, resulting in a “rough consensus” that for the time being negotiation was the better option, the Times reported.