Donald Trump: les options militaires avec la Corée du Nord sont "prêtes à être employées"