the east carolina pirates men's basketball is in what basketball division?
(AND basketball.basketball_division (JOIN basketball.basketball_division.teams m.05g0h1t))