Question: Mike Gibbons and Stanley Ketchel were both what type of people?
Sentence (from "Mike Gibbons (ice hockey)"): Mike Gibbons (born April 9, 1955) is an American ice hockey coach.
Relevant evidence: No