what is vanderbilt's mascot?
(JOIN (R education.educational_institution.mascot) m.01pq4w)