Since it's been days without a response will say a Jebao 9000 or 12000 will work perfectly. You want about 750 gph making it back up to tank. Which will give you five times the tank volume per hour.
You will hear that Jebao is not good or reliable and all I can say is I have their return pumps running on multiple tanks for years without a single issue. Low heat, D.C. Powered, and well made.