“A U.S. aircraft carrier currently deployed in the Gulf was previously involved in a military operation related to Venezuela.”