What is the frequency of your power source? The fastest an AC motor can run from 60Hz is 3600 rpm. For 13,000 rpm you need a minimum power input frequency of 216.7Hz (actually somewhat greater than that for a two-pole, induction motor to allow for slip). Thus you need a 200kW power inverter to generate the 217Hz power for the motor.
For such a device you need to contact a large motor manufacturer such as Baldor.
Here goes a sample of one I found, just not available to the public. I know that someone out there has to be able to sell something like this. Motor only weights in at 70lbs and fits in a car.
375 volt AC induction air-cooled electric motor with variable frequency drive. Output 248 peak horsepower (185kW) and 276 ft/lbs (375 nm) of torque. Redline 14,000 rpm.