Question: Major League Baseball 2K12 or, in short, MLB 2K12, is a Major League Baseball licensed baseball simulation video game published by 2K Sports, Justin Verlander of the Detroit Tigers is the game's cover athlete, Verlander  is an American professional baseball pitcher for the Houston Astros, of which sports organization?
Sentence (from "Major League Baseball 2K7"): Portable versions for the Nintendo DS, PlayStation Portable, and Game Boy Advance were released.
Relevant evidence: No