Corea del Norte y Alemania, en la agenda de Trump