Thailand market could generate $15B annual GGR