I'd suggest a Canister of whatever brand you prefer.. The hoses will allow it to reach to whatever water level you are using, and if you get a large one, it will be able to accommodate for a while as he grows.
Their are several "turtle" filters on the market, most are small and sit under the water, If you dont mind cleaning them a ton, they are ok untill he grows a bit. Zoo Med makes a canister sold for turtles, but for the $40 id put that into a fish filter with a much higher GPH
If you want to use a HOB, they do sell aquariums with a side cut out to accommodate them. But with how fast turtles grow, I dont consider them worthwhile investments.