Fixing Yanmar Tractors Overheating Problem

This 12 volt pump seems to do the trick The pump https://www.ebay.com/itm/272403296601