mayor of Shanghai — head of government of the city of Shanghai