The body of electors who formally elect the United States president and vice president English: electoral college