Mayor of Redlands, California — political office in the United States