Who is the president of the United Kingdom?