us warship headed for venezuela