I hate to say this, but this could be an opportunity. Assuming we have verification, suppose we lob a bunch of cruise missiles on his Presidential Palace.
Maybe we get him, maybe we don't, but every country in the world will look at us differently after that. Not a bad thing given the problems with NK and Iran.