what cricket roster has john buchanan as the coach?
(AND cricket.cricket_roster (JOIN cricket.cricket_roster.coach m.07c7cb))