A U.S. official said the military had provided a range of options, including strikes against military facilities inside Venezuela