Dallas Stars introduce Ken Hitchcock as head coach