Mayor of Tyler, Texas — head of the city of Tyler, Texas, USA