The Navy would have to have crazy good intel and a ton of luck to launch a successful operation to take out Cheeseboy. They're not going to be dropping into a small compound guarded by some chickens, a dog, and a few guys with AKs.g
I think it would more likely be Korean SF doing int gathering and lazing for stealth aircraft dropping PGMs. B-2s would be able to both bunker busters and 1000lb bombs for softer targets.