Trump: Military intervention in Venezuela \'an option\'