Who is the president of the US Senate?