Fan for Portenta Hat Carrier

I have an Arduino Portenta C33 on the Portenta Hat Carrier. I would like to add a fan. The documentation shows adding a fan but there is no recommendation for what fan(s) can be used.

So, what fan can I get to use?

8-Dale