what is the school mascot of wmhc?
(AND education.school_mascot (JOIN education.school_mascot.school (JOIN (R education.student_radio_station.school) m.047sx7c)))