Lightly wet sand the area with 2500 grit and I recommend hand polish back to a shine because mils is already an issue. I have been doing restorations over 30 years, and find that ooops do happen. But seriously, this is the best way to fix the problem.
To avoid repeated problems such as this in future, either use a variable speed trigger controlled polisher or use an air buffer (this allows you to control the speed for alot less).

Hope this helps.