US looking into reports N Korea executed official after Trump\'s Hanoi summit: Pompeo