Redondo Beach Union High School names new principal for post