Question: What is the current capacity of the stadium used by a team coached by Mickey Arthur?
Sentence (from "Karachi Kings"): Karachi Kings (Urdu: ‎ ; Sindhi: ڪراچي ڪنگز‎ ) is a Pakistani professional Twenty20 cricket team that competes in the Pakistan Super League.
Relevant evidence: No