“The United States has deployed 4,500 armed service members off the coast of Venezuela in an effort to pressure for regime change.”