which cricket roster has a coach named john buchanan ?
(AND cricket.cricket_roster (JOIN cricket.cricket_roster.coach m.07c7cb))