Mayor of the District of Columbia — head of the executive branch of the government of the District of Columbia, in the United States