i would just use a regular HOB
filter. aquaclear gets recommended a lot here , on my 10 gallon i perfectly get by with the most simple topfin filter (that came kitted with the tank). as long as water is moving through the established media i don't think brand matters much.
personally i would not use internal filter since i like to have minimum tech things visible in my tank