Trump: Otto Warmbier's death was not in vain