Trump Says Military Intervention in Venezuela Is “An Option”