Anon, please explain the electoral college to we non-Americans for our comprehension. Who are they, how many are there, how do they get elected, etc.?