What is the name of this plastic piece?

I broke part of this plastic piece. Does anyone know what it’s called, so I can order a new one? I think it is a button that is pushed whenever you turn the key over. It has two red wires attached to it.