Mayor of Norman, Oklahoma — political office in the United States