Pompeo says Trump agreed to 'alter' Korea armistice