What current levels do you want to drive it at?
I presume that you're looking for greater than 1A, since under that you've got all the usuals from TaskLED, the Shoppe &c. Note that the driver kengps linked to only goes up to 2.8A, although I think you can parallel two of them to get over 5A. Won't be in regulation for very long though. Der Wichtel also sells 2.8A buck drivers.
Regarding proper 5A drivers, there's nothing on the market so far. George from TaskLED is prototyping a 5A driver, and some others (including sector_cleared) are also designing 9/10A drivers, but those aren't for sale yet. Those are all buck drivers though, so with your battery choice you may or may not be in regulation for very long, depending on the drive current you want.