When we have a non-Trump President, we might have a new Hitler we need to knock over. Good thing knocking over the President of Hungary would be less trouble than dealing with Gaddafi.
That, or have the CIA arrange a terrible accident for him. Falling right into a microscopic amount of deadly poison.