I think he was being sarcastic. 

Once again trump is loosely throwing around words provating an arrogant leader. He needs to stop, this is not a game. The world would be a better place Kim no doubt, but a war with NK is absolutely not what anyone wants. Unimaginable casualties would be the consequence. Best not to provoke that kind of situation.