Who is the English king?