Military option possible in Venezuela: Trump