Trump says US military killed Venezuelan gang leader