Mayor of Denton - political office in Texas, United States