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