Trump says he tipped off oil companies on Venezuela attack