In my opinion, yes.
Real life isn’t like the movies.
The selective take down of only certain officials would a suicide mission.
And such a strike would NOT be like taking out Bin Laden. The Pakis new when we went in, what we were doing, but didn’t try to stop us. The NORKS will, with everything they have.
A nuclear strike is the only one we can do right now that would take them out. Everything else would be a long war.
Yes! Use nukes.