Any European security treaty negotiated by the United States executive branch requires formal ratification by the United States Senate