COCOLI, Panama: A US guided missile cruiser, the USS Erie (CG 70), has docked at the Port of Balboa in Panama City, after the United States dispatched three destroyers to the region to pressure Venezuelan President Nicolas Maduro. Along with the warships, Washington has sent out 4,000 Marines towards Venezuela – a deployment intended to curb drug trafficking.