That is a Thalassoma quinquevittatum, I am not aware of a consistent common name for that fish. Sometimes sold under rainbow wrasse (but so it the mexican rock / rainbow wrasse) Also sold under red / green wrasse.
Pretty neat fish, not something I get real often, not regularly available. The christmas wrasse is a halichories specie I think