Mayor of Arlington, Texas — political office in the United States