ehhhh.... Hyundai
If I were to buy a hot hatch for ~$15,000, I'd find a nice, lightly used VW GTI 1.8t. The 1.8t engine + ECU chip (not too expensive)= ~210HP. The VW community is huge, as is the aftermarket. The factory turbo is a dream to modify. For cheaper speed, this is the way to go.