a practitioner of the anything-goes style of Mexican professional wrestling known as lucha libre" ("free fighting")